On considère quatre messages en clair : P, P`, Q et Q`. On dispose également des versions chiffrées de ces messages : C, C`, D et D`. On considère également un algorithme de chiffrement symétrique E dont le chiffrement peut être décomposé en deux parties : E0 et E1.